Adriana Compagnoni: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

Subtyping dependent types

David Aspinall, Adriana Compagnoni

Journal:

Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 291 KB

english, 2001

2

Effect of spinal manipulative therapy with stretching compared with stretching alone on full-swing performance of golf players: a randomized pilot trial

Soraya M.V. Costa, Yumi E.T. Chibana, Leandro Giavarotti, Débora S. Compagnoni, Adriana H. Shiono, Janice Satie, Eduardo S.B. Bracher

Journal:

Journal of Chiropractic Medicine (imprint: Elsevier)

Year:

2009

Language:

english

File:

PDF, 280 KB

english, 2009

3

Theory and applications of subtyping: Introduction

COMPAGNONI, ADRIANA, GOGUEN, HEALFDENE

Journal:

Mathematical Structures in Computer Science

Year:

2008

Language:

english

File:

PDF, 211 KB

english, 2008

4

Role-based access control for boxed ambients

Adriana Compagnoni, Elsa L. Gunter, Philippe Bidinger

Journal:

Theoretical Computer Science

Year:

2008

Language:

english

File:

PDF, 397 KB

english, 2008

5

Typed operational semantics for higher-order subtyping

Adriana Compagnoni, Healfdene Goguen

Journal:

Information and Computation

Year:

2003

Language:

english

File:

PDF, 437 KB

english, 2003

6

A computational modeling language for complex laboratory experiments

Compagnoni, Adriana, Giannini, Paola, Kelley, Christopher

Journal:

Nano Communication Networks

Year:

2015

Language:

english

File:

PDF, 1.72 MB

english, 2015

7

BioScape: A Modeling and Simulation Language for Bacteria-Materials Interactions

Compagnoni, Adriana, Sharma, Vishakha, Bao, Yifei, Libera, Matthew, Sukhishvili, Svetlana, Bidinger, Philippe, Bioglio, Livio, Bonelli, Eduardo

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2013

Language:

english

File:

PDF, 1.48 MB

english, 2013

8

Higher-order subtyping and its decidability

Adriana Compagnoni

Journal:

Information and Computation

Year:

2004

Language:

english

File:

PDF, 503 KB

english, 2004

9

[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Bio-inspired Information and Communication Technologies Volume 289 (11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedings) || Cyber Regulatory Networks: Towards a Bio-inspired Auto-resilient Framework for Cyber-Defense

Compagnoni, Adriana, Casey, William, Cai, Yang, Mishra, Bud

Year:

2019

Language:

english

File:

PDF, 1.01 MB

english, 2019

10

[Lecture Notes of the Institute for Computer Sciences, Social Informatics and Telecommunications Engineering] Bio-inspired Information and Communication Technologies Volume 289 (11th EAI International Conference, BICT 2019, Pittsburgh, PA, USA, March 13–14, 2019, Proceedings) || Space Partitioning and Maze Solving by Bacteria

Compagnoni, Adriana, Casey, William, Cai, Yang, Mishra, Bud

Year:

2019

Language:

english

File:

PDF, 890 KB

english, 2019

11

Anti-symmetry of higher-order subtyping and equality by subtyping

COMPAGNONI, ADRIANA, GOGUEN, HEALFDENE

Journal:

Mathematical Structures in Computer Science

Year:

2006

Language:

english

File:

PDF, 379 KB

english, 2006

12

Boxed ambients with communication interfaces

GARRALDA, PABLO, BONELLI, EDUARDO, COMPAGNONI, ADRIANA, DEZANI-CIANCAGLINI, MARIANGIOLA

Journal:

Mathematical Structures in Computer Science

Year:

2007

Language:

english

File:

PDF, 603 KB

english, 2007

13

Correspondence Assertions for Process Synchronization in Concurrent Communications

Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2004

Language:

english

File:

PDF, 315 KB

english, 2004

14

Typechecking Safe Process Synchronization

Eduardo Bonelli, Adriana Compagnoni, Elsa Gunter

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 373 KB

english, 2005

15

Correspondence assertions for process synchronization in concurrent communications

BONELLI, EDUARDO, COMPAGNONI, ADRIANA, GUNTER, ELSA

Journal:

Journal of Functional Programming

Year:

2005

Language:

english

File:

PDF, 318 KB

english, 2005

16

[ACM Press the ACM Conference - Orlando, Florida (2012.10.07-2012.10.10)] Proceedings of the ACM Conference on Bioinformatics, Computational Biology and Biomedicine - BCB '12 - Simulation and study of large-scale bacteria-materials interactions via BioScape enabled by GPUs

Li, Jie, Sharma, Vishakha, Ganesan, Narayan, Compagnoni, Adriana

Year:

2012

Language:

english

File:

PDF, 718 KB

english, 2012

17

Heap-Bounded Assembly Language

David Aspinall, Adriana Compagnoni

Journal:

Journal of Automated Reasoning

Year:

2003

Language:

english

File:

PDF, 278 KB

english, 2003

18

[ACM Press the International Conference - Wshington DC, USA (2013.09.22-2013.09.25)] Proceedings of the International Conference on Bioinformatics, Computational Biology and Biomedical Informatics - BCB'13 - Simulating Anti-adhesive and Antibacterial Bifunctional Polymers for Surface Coating using BioScape

Sharma, Vishakha, Compagnoni, Adriana, Libera, Matthew, Muszanska, Agnieszka K., Busscher, Henk J., van der Mei, Henny C.

Year:

2007

Language:

english

File:

PDF, 1.51 MB

english, 2007

19

Seventh International Workshop on Foundations of Object-Oriented Languages

Giuseppe Castagna, Adriana Compagnoni

Journal:

Information and Computation

Year:

2002

Language:

english

File:

PDF, 26 KB

english, 2002

20

[ACM Press the 8th ACM SIGPLAN symposium - Venice, Italy (2006.07.10-2006.07.12)] Proceedings of the 8th ACM SIGPLAN symposium on Principles and practice of declarative programming - PPDP '06 - BASS

Garralda, Pablo, Compagnoni, Adriana, Dezani-Ciancaglini, Mariangiola

Year:

2006

Language:

english

File:

PDF, 261 KB

english, 2006

21

Editorial: Biologically Inspired Networking

Nakano, Tadashi, Compagnoni, Adriana

Journal:

Mobile Networks and Applications

Year:

2019

Language:

english

File:

PDF, 131 KB

english, 2019

22

Splitting Mobility and Communication in Boxed Ambients

Pablo Garralda, Adriana Compagnoni

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2006

Language:

english

File:

PDF, 231 KB

english, 2006

23

Pict correctness revisited

Philippe Bidinger, Adriana Compagnoni

Journal:

Theoretical Computer Science

Year:

2009

Language:

english

File:

PDF, 1.24 MB

english, 2009

24

107. A Computational Model of Adenovirus Infection

Leopold, Philip L., Petersen, Conor, Ridings, Brian, Cocineva-Lenge, Elena, Rautenberg, Emily, Freed, Kelly, Compagnoni, Adriana B.

Journal:

Molecular Therapy

Year:

2015

Language:

english

File:

PDF, 272 KB

english, 2015

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски